/*
 * GUIOptionElement.h
 *
 *  Created on: Apr 27, 2009
 *      Author: wrice
 */

#ifndef GUIOPTIONELEMENT_H_
#define GUIOPTIONELEMENT_H_
#include "GUI.h"
namespace GUI {

class GUIOptionElement : EXTENDS_INTERFACE( GUIElement ) {
public:
};

}

#endif /* GUIOPTIONELEMENT_H_ */
